GtkStyleProperties: Turn border-width into a GtkBorder property.
authorCarlos Garnacho <carlosg@gnome.org>
Tue, 30 Nov 2010 23:55:14 +0000 (00:55 +0100)
committerCarlos Garnacho <carlosg@gnome.org>
Sat, 4 Dec 2010 14:39:52 +0000 (15:39 +0100)
commitcf0bd12e6caf5cac37d7a25430d638d30fad7f39
treed300e22620e844e915ac9c0a5d4475ace55b925b
parentf7e7201f11a4a378eee491bde6ff26bbad558a8b
GtkStyleProperties: Turn border-width into a GtkBorder property.

All current users of this CSS property have been updated to deal
with a GtkBorder.

Also a 0 border width has been set in the default CSS to ensure
GtkStyleContext and GtkThemingEngine always provide a non-NULL
pointer for this property.
gtk/gtkbutton.c
gtk/gtkcombobox.c
gtk/gtkcssprovider.c
gtk/gtkmenu.c
gtk/gtkmenubar.c
gtk/gtkstyleproperties.c
gtk/gtkthemingengine.c